#include<stdio.h>
#include<string.h>
#include<ctype.h>
int main() {
    char arr[20] = { 0 };
    scanf("%s", arr);
    char* p = arr;
    if (strlen(arr) == 11 && *p == '1') {
        while (*p != '\0' && isdigit(*p))
            p++;
        if (*p == '\0') {
            printf("yes\n");
            return 0;
        }
    }
    printf("no\n");
    return 0;
}